Issue1609c.agda:4,1-1
Issue1609c.agda:4,1: Illegal: with patterns in type signature
<EOF><ERROR>
...
